trait E extends D
